% Manual.tex master file for the Lollipop TeX manual.
% this file and all input files for it copyright 1992 Victor Eijkhout.
% all rights for nonprofit use of this manual granted.
%
\tracingstats=1
\makeatletter
\makeatother
\showboxdepth=-1

\input comment
% By shuffling the \comment line you can load different fonts.
% This is machine dependent, so by default you get CM font,
% which should work everywhere.
%
\def\SerifFace{\TypeFace:ComputerModern }
\def\SansFace{\TypeFace:ComputerSans }
\comment
% Macintosh Times & Helvetica
\def\SerifFace{\TypeFace:macTimes }
\def\SansFace{\TypeFace:macHelvetica }
% Unix Postscript has different names
\def\SerifFace{\TypeFace:unixTimes }
\def\SansFace{\TypeFace:unixHelvetica }
\endcomment 

% Try this: remove the \comment before \dump, 
% dump a 'manual' format based on the 'mandefs' file,
% then uncomment the next '%\comment' line,
% remove the 'input comment' above,
% and use the manual format instead of Lollipop

%\comment
\input mandefs
\comment
\dump
\endcomment

\WriteExtern:yes

\Start

\CounterRepresentation:Page=i \RightPage
\InputFile:titlepag

\InputFile:prelim

\ToRecto\RightPage
\CounterRepresentation:Page=1 \SetCounter:Page=1
\InputFile:struct

\InputFile:head

\InputFile:list

\InputFile:out

\InputFile:extern

\InputFile:opt

\InputFile:comm

\InputFile:trace

\InputFile:appendix

\Stop
